formal logic inference
形式逻辑推理
热门查询
- alley n. 小巷；小路；小径 n. (Alley)人名；(英)阿利
- cloverleaf n. 四叶苜蓿形的立体交叉公路
- Marcus n. [机] 大铁锤
- revealingly adv. 启发人地；袒胸露肩地
- tenacity n. 韧性；固执；不屈不挠；黏性
- reserve n. 储备，储存；自然保护区；预备队；缄默；[金融] 储备金 vt. 储备；保留；预约 vi. 预订 n. (Reserve)人名；(法)勒塞尔夫
- spookily adv. spooky（鬼一般的, 令人害怕的）的变形
- hardball n. 硬式棒球（等于baseball）；（为达到某种目的而采取的）强硬手段；刀剑搏杀
- uncontainable 不受限制的 压抑不住的
- Drury [体]德鲁赖约定叫; [人名] [英格兰人姓氏] 德鲁里绰号，情人，来源于古法语，含义是“爱，友谊”(love,friendship); [人名] [英格兰人姓氏] 德鲁里来源于日耳曼语人名，含义是“忠诚，信任+权力”(truth,trust+power); [地名] [新西兰] 德鲁里
- biosensor n. [生理][生物] 生物传感器，[生物] 生物感应器
- warbler n. 啭鸟；鸣鸟；用颤音歌唱的人
- Roh [医][=rat ovarian hyperemia(text)]大鼠卵巢充血（试验）
- compensable adj. 可补偿的；应予以补偿的
- adductor n. [解剖] 内收肌；内转肌
- hayride n. （美）乘坐装有干草的大车出游
- bootstrapping n. 自举电路；引导指令；自展 v. 依靠自己的努力获得成功；自展（bootstrap的ing形式）
- filch vt. 窃取；偷窃
- APR abbr. 大气分布图记录系统（Air profile Recording）；年度成本百分率（Annual Percentage Rate）
- Lilley [人名] [英格兰人姓氏] 利利 Lilly的变体; [地名] [英国] 利利
